Complex system prototyping using environment abstraction
نویسندگان
چکیده
A Rapid prototyping method for parallel systems is presented. The aim of our approach is to provide a rapid prototyping tool. Source formalism consists of coloured Petri nets. These allow powerful modelization and rely on a strong theoretical basis from which behavioural validation can be inferred. One major problem of Rapid Prototyping is environment integration. We propose a method which allows such integration. This paper presents our methodology and illustrates it on a toy example. Key-words : Rapid prototyping, Ada, Parallel systems.
منابع مشابه
Experiences with a Tool for Prototyping and Simulating Mobile Network Protocols
Abstract. Due to host mobility and intermittent connectivity the development of distributed protocols for mobile computing is usually more complex than for conventional networks. In this article we describe our experience with MOBICS, a simulation-based environment that provides support for prototyping, testing and evaluating the complexity of distributed protocols. The key features of MOBICS a...
متن کاملVirtual Validation of Cyber Physical Systems
The increasing importance of Cyber Physical Systems (CPS) yields new challenges for their systematic and efficient quality assurance. CPS are characterized by open and heterogeneous architectures and environments. For embedded systems, this implies a separation of the currently very tight integration of hardware and software components. Development and testing of these systems require new devel...
متن کاملArduino based I/O-system for rapid prototyping of robotic systems
This paper presents a possible solution for the difficult balancing act between abstraction and controllability developers face when designing a complex autonomous system. The problem can be tackled by creating dedicated microcontroller based I/O-systems for achieving controllability of sensors and actors. Abstraction is provided by the use of a C++ software framework which hides the communicat...
متن کاملInternational Workshop on Oz Programming
| Rapid Prototyping of complex systems is an important approach in system modeling. Naturally, such systems can be seen as a network of concurrently running communicating objects. An example of such a system in computer integrated manufacturing are exible manufacturing systems (FMS). A FMS consists of concurrently working machines which are connected by a computerized material handling system. ...
متن کاملDesigning and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment
This paper presents an environment and a methodology for the design and rapid prototyping of data-intensive software applications; i.e., applications which perform substantial retrieval and update activity on persistent data. In the proposed approach, the application is formally specified using Logres, a database language which combines object-oriented data modeling and rule-based programming. ...
متن کامل